Abstract type - PDFSEARCH.IO - Document Search Engine

Abstract type
Results: 1261

#	Item
481	Title Alternative Title Abstract Date & Date Type Point of Contact Details Add to Reading List Source URL: www.heritagecouncil.ie Language: English - Date: 2015-02-27 04:47:04 Kilkenny Museum Surveying Geography of Europe Geography of Ireland Museology County Kilkenny
482	ADEA ABSTRACT PREPARATION Add to Reading List Source URL: www.ads-adea.org.au Language: English - Date: 2015-04-15 03:17:08 Endocrinology Diabetes management Diabetes mellitus type 1 Abstract management Diabetes mellitus Insulin therapy Glycated hemoglobin Diabetic ketoacidosis Diabetes Endocrine system Medicine
483	Biodiversity of the Gulf of Mexico Project John W. Tunnell, Jr. ABSTRACT The Gulf of Mexico occupies a Mediterranean-type basin that is connected to the Caribbean Sea by the Yucatan Strait where water flows in and to th Add to Reading List Source URL: cbm.usb.ve Language: English - Date: 2007-12-13 22:44:29 Fulguropsis feldmanni Melongenidae Glyptaesopus proctorae
484	An Introduction to DemeterF (Java) Bryan Chadwick September 8, 2009 Abstract This document is meant to be an introduction to Object Oriented Programming (OOP) and Functional Adaptive Programming (AP-F) using DemeterF. De Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2009-09-08 18:32:14 Subroutines Method C++ Type theory Tree traversal Object-oriented programming C++ classes Binary tree Function object Software engineering Computing Computer programming
485	Computability of continuous solutions of higher-type equations Mart´ın Escard´o School of Computer Science, University of Birmingham, UK Abstract. Given a continuous functional f : X → Y and y ∈ Y , we wish Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2009-03-18 06:51:09 Theory of computation Theoretical computer science Metric space Computable function Uniform space Filter Continuous function Mathematics Computability theory Topology
486	THE GUIDE TO FORMAT YOUR ABSTRACT FOR BOOK OF ABSTRACTS OF Sixth International Scientific School for Young Scientists «Waves and vortices in complex media, Kaliningrad 2015» (FOR ABSTRACTS IN MS Word FORMAT) Add to Reading List Source URL: ipmnet.ru Language: English - Date: 2015-02-09 08:52:27 Digital typography Windows XP typefaces Writing Times New Roman Font TeX Quotation mark Italic type HTML element Typography Graphic design Typesetting
487	Under consideration for publication in J. Functional Programming 1 Boxes Go Bananas: Encoding Higher-Order Abstract Syntax with Parametric Polymorphism∗ Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2014-07-10 05:47:02 Type theory Functional programming Data types Higher-order functions Lambda calculus Higher-order abstract syntax Eval Catamorphism System F Software engineering Computing Declarative programming
488	Primitively (Co)recursive Definitions for Isabelle/HOL Lorenz Panny, Jasmin Christian Blanchette, and Dmitriy Traytel Fakultät für Informatik, Technische Universität München, Germany Abstract. Isabelle/HOL has recent Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2015-03-23 10:07:51 Recursion Computability theory Data types Higher-order functions Theory of computation Fold Recursive data type Primitive recursive function Lambda calculus Software engineering Computing Computer programming
489	The GNU C++ Library Doug Lea SUNY Oswego & NY CASE Center DRAFT The GNU C++ library (libg++) was among the rst widely available general-purpose C++ class libraries. Some classes were designed and implemented as early as Add to Reading List Source URL: gee.cs.oswego.edu Language: English - Date: 2000-01-18 10:00:28 Object-oriented programming Data types Type theory Cross-platform software Abstract data types Object C++ Class Generic programming Software engineering Computing Computer programming
490	MiniAgda: Integrating Sized and Dependent Types Andreas Abel∗ Department of Computer Science Ludwig-Maximilians-University Munich Abstract Sized types are a modular and theoretically well-understood tool for checking t Add to Reading List Source URL: www2.tcs.ifi.lmu.de Language: English - Date: 2010-05-11 12:12:37 Functional programming Type theory Data types Recursion Category theory System F F-algebra Algebraic data type Fold Software engineering Computer programming Computing

UPDATE